结果

  算术运算符的结果类型由一组称做“普通算术转换”的规则确定（C.6.3节）。这里的整体目的就是让产生的结果具有“最大的”运算对象类型。举例来说，如果某个二元运算符的一个运算对象是浮点数，那么计算就将通过浮点算术完成，结果的类型是浮点数值。如果有一个long运算对象，那么计算就用长整数算术，结果就是long。比int小的运算对象（例如，bool和char）在运算符作用之前都将被转换到int。

  关系运算符，==、<=等产生布尔值。用户定义运算符的意义及其结果类型依赖于它们的声明（11.2节）。

  只要逻辑上可行，一个以左值作为运算对象的运算符的结果，仍然是指称这个左值对象的左值，例如，

    void f(int x, int y)
    {
        int j = x = y;                // x = y的值是赋值后x的值
        int* p = &++x;                // p指向x
        int* q = &(x++);              // 错误❌：x++不是一个左值（它不是存储在x里的值）
        int* pp = &(x>y?x:y);         // 较大的那个int的地址
    }

如果?:的第二和第三个运算对象都是左值且具有相同的类型，结果将具有这个类型而且是一个左值。以这种方式保存左值将使运算符的使用具有最大的灵活性。对于写出一些代码，使它们能以统一而有效的方式工作在内部类型和用户定义类型上，这种规定就特别有用处（例如，在写模板或者生成C++代码的程序时）。

  sizeof的结果是一个无符号整型size_t，这个类型在< cstddef > 里定义。指针减的结果是一个有符号的整型ptrdiff_t，也在< cstddef >里定义。

  实现不必检查算术溢出，实际上也很难做。例如，

    void f()
    {
        int i = 1;
        while(0 < i) i++;
        cout << "i has become negative!" << i << '\n';
    }

将（最终）试图去增加i，使之超出最大的整数。这时会发生什么是无定义的，但典型情况是那个值被“卷回来”变成一个负数（在我的机器上得到-2147483648）。与此类似，除零的结果也是无定义的，但这样做通常将导致程序的突然终止。特别要指出的是，下溢、上溢和除零都不会抛出标准异常（14.10节）。

🔚